The aim of this study was to clarify the relationship between accessing the identity of a face and making decisions about its expression. Three experiments are reported in which undergraduate subjects made expression decisions about familiar and unfamiliar faces. The decision was slowed either by concealing the mouth region with a black rectangle or by using a short presentation time. Results of experiment 1 showed that subjects recognized the displayed expression of celebrities better than those of unknown persons when information (...) from the mouth was not available. Results of experiment 2 showed that they recognized the expression displayed by celebrities more easily when the presentation time was short. Experiment 3, using familiarized faces, replicated the results of experiments 1 and 2 and ruled out a possible explanation of these results by the use of some identity specific representations that are expressive. Implications for face recognition models are discussed. (shrink)

While there is an extensive literature on the tendency to mimic emotional expressions in adults, it is unclear how this skill emerges and develops over time. Specifically, it is unclear whether infants mimic discrete emotion-related facial actions, whether their facial displays are moderated by contextual cues and whether infants’ emotional mimicry is constrained by developmental changes in the ability to discriminate emotions. We therefore investigate these questions using Baby-FACS to code infants’ facial displays and eye-movement tracking to examine infants’ looking (...) times at facial expressions. Three-, 7-, and 12-month-old participants were exposed to dynamic facial expressions of a virtual model which either looked at the infant or had an averted gaze. Infants did not match emotion-specific facial actions shown by the model, but they produced valence-congruent facial responses to the distinct expressions. Furthermore, only the 7- and 12-month-olds displayed negative responses to the model’s negative expressions and they looked more at areas of the face recruiting facial actions involved in specific expressions. Our results suggest that valence-congruent expressions emerge in infancy during a period where the decoding of facial expressions becomes increasingly sensitive to the social signal value of emotions. (shrink)

This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & it will (...) be essential reading for all those working in logic & computer science. (shrink)

Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.

Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...) is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics. (shrink)

The first volume presents a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including (...) combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic. (shrink)

"Christian philosophy" is commonly regarded as an oxymoron, philosophy being thought incompatible with the assumptions and conclusions required by religious faith. According to this way of thinking, philosophy and theology must forever remain distinct. In From Theology to Theological Thinking, Jean-Yves Lacoste takes a different approach. Stepping back from contemporary philosophical concerns, Lacoste--a leading figure in the philosophy of religion--looks at the relationship between philosophy and theology from the standpoint of the history of ideas. He notes in particular (...) that theology and philosophy were not considered separate realms until the high Middle Ages, this distinction being a hallmark of the modern era that is coming to an end. Lacoste argues that the intellectual task before us now is to work in the frontier region between or beyond these domains, work he identifies as "the task of thinking." With this argument, Lacoste resets our understanding of Western Christian thought, contending that a new way of thinking that is at once philosophical and theological will be the lasting discourse of Christianity. (shrink)

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where all things start (… ) An-Fang was near a city, the only living city with a pre-atomic name (… ) The headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled. Two tourmaline nets failed to rectify the laser beam. A diamond noted the error. Both the error and the correction went into the general computer. Cordwainer SmithThe Dead Lady (...) of Clown Town, 1964. (shrink)

Im Folgenden stellen wir drei aktuelle Forschungsbereiche zur formalen Logik bei Kant allgemeinverständlich dar und greifen dabei auf die trans zendentale Logik nur dann zurück, wenn sie ein besseres Verständnis der formalen Logik ermöglicht: Zunächst wird Kants Beitrag zur Rezeption und Weiterentwicklung von Euler-artigen Diagrammen dargestellt. Diese Diagramme wurden in den 1990er Jahren wiederentdeckt, als formales System interpretiert und werden heute insbes. in der Didaktik, in den Kognitionswissenschaften, in der Linguistik, in KI-Bereichen wie der (Logik-basierten) Wissensrepräsentation eingesetzt, und auch in (...) der Philosophie verwendet (Kapitel 2). Mehrere Studien haben in den letzten Jahren gezeigt, dass Kant in weiten Teilen seines Systems Oppositionsverhältnisse verwendet, die der Struktur des logischen Quadrats entsprechen. Das logische Quadrat ist heute Gegenstand intensiver Forschung, da es neben der klassischen, auch die paravollständige und parakonsistente Negation abbildet (Kap. 3). Jüngst wurde zudem die Implementierbarkeit der kantischen Logik in ein formalisiertes deduktives System bewiesen. Die Bedeutung dieses Ergebnisses wird insbesondere im Hinblick auf die formalisierte Umsetzung der Sätze vom Widerspruch, vom zureichenden Grund und der Ausschließung des Mittleren erläutert (Kap. 4). Abschließend möchten wir ein paar Perspektiven für die Forschung zur formalen Logik bei Kant nennen (Kap. 5). -- -/- Note: No financial support acknowledged by the second autor (S. Kovač). (shrink)

In a first section, we discuss Quine’s claim according to which identity is a logical notion. We point out that Quine mixes up various types of identities: trivial (or diagonal) identity, Leibniz identity, etc.; and this leads him to commit several mistakes. In a second section, we review Quine’s criticisms to various philosophers (Wittgenstein, Whitehead, Leibniz, etc.), who ac-cording to him made confusion between names and objects in defining identity. We show that in fact only Korzybski can be accused of (...) such confusion. In a third section, we analyze the relation between identity and entity. We notice that for Quine a river is the result of the identification of river stages, but that he admits it as an entity by opposition to squareness, which according to him is a result of an identification process of higher abtraction. (shrink)

This is a collection of new investigations and discoveries on the theory of opposition by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

t.l. Introduction à une anthropologie philosophique.

(4) Jean apprécie ce livre-là. (‘Jean appreciates ce book-there’) (5) Jean apprécie ce livre-ci. (‘Jean appreciates ce book-here’) in a way that recalls in part non-standard English: (6) John is reading that there book. (7) John is reading this here book. with (6) akin to (4) and with (7) akin to (5). The difference in word order, whereby English has there/here prenominal in (6)/(7) and French has - là/-ci postnominal in (4)/(5), was analyzed by Bernstein (1997) (...) in terms of a movement operation that in French moves the noun to the left of -là/-ci, starting from an English-like order, in a way that recalls the difference between French and English adjective position, as in Cinque (2005; to appear). English allows that and this to occur without any visible noun present, as in. (shrink)

Jean-Yves Leloup nous propose ici deux lectures magistrales de deux géants de la culture occidentale : Nietzsche, l'athée et Maître Eckhart, le théologien-mystique. Il tente de remettre "à l'endroit" un texte de Nietzsche, Ecce Homo, souvent cité pour justifier tous les athéismes. Leloup montre que le Dieu en lequel Nietzsche voyait une "antithèse de la vie" n'a rien à voir avec le Dieu des Evangiles qui est au contraire une puissance de vie et de libération, une claire lumière (...) par laquelle le monde est vu. L'auteur, avec Maître Eckhart, nous entraîne ensuite au-delà des contraires, au-delà même de Dieu et de tous les Absolus que nous imaginons, vers notre essentielle et silencieuse liberté... Ce livre délicieux et audacieux nous montre, comme le disait Pascal, que "l'athéisme est une marque de force d'esprit, mais jusqu'à un certain degré seulement". (shrink)

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and (...) influence. (shrink)

This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The book also contains one of the last papers by Suppes (co-authored by two of his collaborators). -/- The work of Suppes touches many different areas, ranging from meteorology to physics, through logic, mathematics, psychology, neuroscience, education, painting, but he was first of all and above all a philosopher, always questioning, but not in vain. There are not many philosophers (...) who can be proud of having written influential math textbooks, contributed decisively to the philosophical foundations of science, helped to develop research in real labs, promoted new forms o education (computer-assisted learning and the EGPY – Education Program for Gifted Youth). -/- Since the range of interest of Suppes was very broad, so is the variety of topics dealt with in this volume. The work of a researcher is certainly not limited to his own writings, but also has to be appreciated through the work of the people he has been working with and influenced. From this point of view the work of Suppes is very impressive, and the present book contributes to show that. -/- This is a follow up of a special issue of the journal Synthese, New Directions in the Foundations of Science, edited by Béziau and Krause, after a meeting they organized with Suppes in Florianópolis (Brazil) in 2002 for his 80th birthday. -/- Jean-Yves Béziau worked with Suppes at Stanford University for two years (2000 and 2001) and has been continuously working in the Suppes tradition of logic, methodology and philosophy of science, which emphasizes structures and models. -/- Décio Krause has used Suppes’ approach to the axiomatization of scientific theories in many fields. With J.C.M. Magalhães, he presented a ``Suppes predicate” for genetics and natural selection and with S. French he developed a Suppes predicate for quantum field theories via Fock spaces. (shrink)

For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.

The nine essays in The Appearing of God are situated on the fluid border of philosophy and theology, and follow a path leading from classic modern philosophical discussions of experience to some leading themes in contemporary phenomenology. After an introductory exploration of Kierkegaard's classic text that straddles the border between philosophy and theology, the reader is introduced to Husserl's account of perception, with its demonstration that the field of phenomena is wider than that of perceptible entities, allowing phenomena that give (...) themselves primarily to feeling. Husserl's theory of reduction is then subjected to a critique, which identifies phenomena wholly resistant to reduction. John Paul II's encyclical on Faith and Reason elicits a critical rejection of its attempt to reify the boundary between natural and supernatural, the author asserting in its place that love is the distinguishing mark of the knowledge of God. This theme is continued in a discussion of Heidegger's Being and Time, where a passing reference to Pascal invites interrogation of the work's 'methodological atheism', which is found to leave more room than appears for love of the divine. The next three chapters deal with the themes of Anticipation, Gift and Self-Identity, all exploring aspects of a single theme, the relation of present experience to the passage of time, and especially to the future. The final chapter puts that theme, together with the theme of love and knowledge, to the service of an enquiry into how theology as an intellectual enterprise relates to the practice of worship. (shrink)

L'idée du cinéma comme " septième art ", Art total, synthèse des autres Arts, trouve son origine et ne se comprend vraiment que par rapport à la philosophie kantienne de l'Art. Cela peut sembler étonnant, mais c'est ce que fait apparaître de façon frappante, sur plusieurs points importants, l'étude du cinéma et de la manière dont les grands cinéastes et théoriciens se le sont eux-mêmes souvent représenté. La dimension philosophique, voire proprement métaphysique du cinéma, même du cinéma le plus simple (...) et le plus modeste, est en même temps liée à ce qui fait que le cinéma est un Art qui plaît tant populairement. Il y a là de quoi soupçonner ou entrevoir l'importance culturelle, sociale, morale et politique, peut-être, du cinéma le plus artistique. Il n'est pas nécessaire d'être spécialiste de philosophie pour lire l'ouvrage : tout ce qui est proprement philosophique y est expliqué simplement. Jean-Yves Chateau y montre à quelles conditions le cinéma peut être un Art, où se révèle avec une singulière clarté l'essence même de l'Art. En lui, sous des formes diverses, il y va toujours du monde lui-même et de la possibilité d'en faire un monde commun. (shrink)

Resumo A problemática na relação entre Filosofia e Cinema dá origem a duas questões: a primeira, sobre as condições que os filmes têm de satisfazer a fim de poderem ser devidamente tratados por uma compreensão filosófica; a segunda, sobre os requisitos, que os discursos sobre os filmes têm de satisfazer, em ordem a serem legitimamente considerados como filosóficos. Respondendo à primeira pergunta, através de uma análise ao debate entre Paisley Livingston e Aaron Smuts, acerca da “Filosofia do Cinema”, será afirmado (...) que, embora os filmes em si mesmos não façam filosofia, é possível fazer filosofia a partir deles, desde que estes expressem ideias estéticas. Respondendo à segunda questão, através da leitura crítica de Days of Being Wild, In the Mood of Love e 2046 de Wong Kar-wai, com referência aos conceitos de Kierkegaard, Girard e Deleuze, será argumentado que uma análise filosófica implica a renovação de conceitos filosóficos centrais e o alargamento da compreensão da natureza das imagens cinematográficas. Palavras-chave : Deleuze, emoção-imagem, filosofia do cinema, Kierkegaard, repetição, Wong Kar-waiThe problem of the relationships between Philosophy and Films raises two questions: first, the conditions that films have to fulfill in order to be rightly concerned by a philosophical understanding; second the requirements that discourses about films have to fulfill in order to be truly considered as philosophical ones. Answering to the first question through a survey of the debate between Paisley Livingston and Aaron Smuts about “Film-Philosophy”, I will affirm that, though films in themselves are not doing philosophy, it is possible to do philosophy out of them provided they express aesthetical ideas. Answering to the second question through a critical reading of Wong Kar-wai’s Days of Being Wild, In the Mood for Love, and 2046 referring to the concepts of Kierkegaard, Girard and Deleuze, I will argue that a philosophical analysis implies to renew core philosophical concepts and to extend our understanding of the nature of cinematographic images. Keywords : Deleuze, film-philosophy, image-emotion, Kierkegaard, repetition, Wong Kar-wai. (shrink)

Entre philosophie et théologie, pouvons-nous croire à l'existence d'une limite? C'est ce que ce livre tente de nier. Dieu n'apparaît pas ou n'" apparaît " pas comme apparaît ou " apparaît " un cube, une œuvre d'art, un nombre ou un autre homme. Dieu diffère - jusqu'au point d'être le non-autre. La différence toutefois n'introduit nulle césure dans le champ de la connaissance. Elle nous rend simplement, ce qui n'est pas peu, attentifs à la pluralité des modes d'apparaître. Et s'enquérir (...) de la phénoménalité de Dieu, à ce compte, revient à s'enquérir de toute phénoménalité. Celle de l'objet présumé philosophique et seulement philosophique aussi bien que celle de l'objet présumé théologique et seulement théologique. J.-Y, L. (shrink)

Que la musique soit faite pour etre ecoutee semble une evidence, et pourtant... C'est pour guider les melomanes et les aider a passer d'une audition passive a une ecoute active que Jean-Yves Bras partage ici son experience d'ecouteur. Apres avoir defini ce qu'est la musique, il s'interroge ensuite sur la nature de l'ecoute: que faut-il entendre par ecouter? Sur quoi porter notre attention? Comment ecouter? Les conditions materielles dans lesquelles nous consommons la musique, notre comportement au concert ou (...) a l'ecoute d'un disque, ont egalement une incidence importante sur la qualite de notre ecoute. Puis il analyse ces liens si mysterieux et si essentiels tisses entre compositeurs, interpretes et nous-memes, auditeurs. Enfin, il trace a grands traits l'histoire de nos oreilles de l'Antiquite a nos jours, pour conclure sur les differentes categories d'auditeurs actuels. Parallelement, l'auteur a cree un site Internet, www.artdecouter.fr, qui apporte un complement d'information agremente d'exemples sonores. Ce chemin d'initiation se parcourt sous forme de dialogue: une jeune personne souhaitant s'instruire, Mademoiselle Croche, nous permet par ses questions d'entendre s'ouvrir pour nous le langage de la musique. Jean-Yves Bras a ete directeur de la Documentation musicale de Radio France et a participe a de nombreuses emissions. Responsable artistique du Festival Chopin a Paris, il est l'auteur des Courants musicaux du XXe siecle et d'un ouvrage sur le chef d'orchestre Carlo Maria Giulini. (shrink)

This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...) by Wolfgang Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

“Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...) systems in the sense of Hilbert, Curry and the formalist school, (4) Symbolic logic, a science using symbols, such as Venn diagrams, (5) Mathematical logic, a mathematical approach to reasoning. We argue that these five meanings are independent and that the meaning (5) is the one which better characterized modern logic, which should therefore not be called “formal logic”. (shrink)

Les philosophies de l'histoire se nourrissaient de miettes tombées de la table du théologien. L'effondrement de leurs projets onto-théologiques permettrait-il de penser enfin l'histoire en fidélité au logos de la philosophie? Mettre toute métaphysique de l'histoire entre parenthèses ne consacre pas l'éternel retour du même, ou plutôt du pareil, mais libère le champ d'une temporalité plénière. Et parce que la temporalité - le temps tel que je le vis et que nous le vivons - se déploie comme ce que l'on (...) peut nommer une histoire, celle que je suis et celle que nous sommes, alors la question philosophique de l'histoire peut être logée sans reste dans une quaestio de tempore formulée après Husserl et Heidegger, et certains autres : sans préjuger d'une eschatologie que seule la théologie peut organiser, mais en s'autorisant à en précomprendre les raisons. L'existence est le mode d'être de l'étant que nous sommes, et l'existence est être en/comme histoire, historialité. L'historialité est une dimension de la temporalité. Qui le sait saura éviter les ornières de la philosophie de l'histoire. Non pas pour décrire une existence sans histoire, mais pour rendre raison du phénomène de l'histoire. En première instance seulement, certes, mais en rigueur, parce que sans prétention apocalyptique indue. L'histoire dont nous parlons est une réalité avant-dernière."--Page 4 of cover. (shrink)

Nous ne pouvons nous dispenser d'un concept linguistique du vrai. Nous ne pouvons pas davantage nous dispenser d'un concept phénoménologique du vrai. Et nous ne pouvons enfin nous dispenser de recourir à l'un et à l'autre, car le vrai se dit et le vrai se donne à l'intuition. Ces affirmations sont élémentaires. Mais les prendre au sérieux, c'est-à-dire considérer l'expérience entière de la vérité, requiert d'élargir le concept de vérité, de telle manière que : le vrai ne soit pas seulement (...) affaire de savoir mais, plus largement, affaire de connaissance ; le vrai puisse être dit dans une multiplicité de langages (philosophique, poétique, scientifique(; le vrai soit indissociable de la question de l'être-dans-le-monde ; le vrai soit à la mesure du logos, dont on montre qu'il excède la ratio sous ses formes modernes. Le vrai doit à nouveau être pensé. La pensée n'est rien de neuf. Mais son intervention dans les débats sur le vrai, au temps du nihilisme, est plus urgente que jamais. (shrink)

L'expérience de la connaissance nous enseigne qu'il n'y a pas de Réalité Dernière, que tout train en cache un autre. Une évidence qu'il n'est pas facile d'accepter, d'où l'idée de ce train ultime, celui qui ne cacherait plus rien. La transparentisme postule l'existence, au-delà de la perception immédiate, d'un monde, d'un niveau de lecture, complètement intelligible, i.e, explicite et immédiat. D'où cette croyance en de prétendus "rayons X du savoir" qui nous dévoileraient l'envers de l'Univers.

Universal logic is to logic what universal algebra is to algebra. It is not a specific system of logic that would apply to everything but a general theory of all existing and possible logics. This new field has been slowly emerging through the new directions of research in logic of the past decades and the name was coined 15 years ago. In the Spring of 2005 was organized in Montreux, Switzerland, the First World Congress on Universal Logic. This exciting event (...) gathered more than 200 people from about 40 different countries. Many famous logicians were present there, such as Dov Gabbay, Krister Segerberg, Saul Kripke, Michael Dunn, Jouko Väännänen. Most of the papers in this book arose from talks - and discussions that follow - presented during this event. They are concerned with philosophical and historical approaches discussing the basic concepts of logic and reflecting the meaning of a universal approach to logic, the development and elaboration of general tools in order to construct frameworks useful for studying classes of logics, applications of logics to concrete problems through the universal perspective. (shrink)